机译:丰富的效果演算:语法和语义
机译:逻辑作为微积分对逻辑,语言作为微积分对语言,语言作为微积分对语言作为通用媒介,以及语法对语义
机译:作为微积分的逻辑与作为语言的逻辑,作为微积分的语言与作为通用介质的语言,以及语法与语义
机译:自然语言语法和语义中的对称性:Lambek-Grishin微积分
机译:赫梯语中的Wh词:语法语义学和语法语音学接口研究。
机译:一种观点语言:关于语义语法和人类语言的其他稀有性质的历史视角在灵长类动物和其他动物的沟通中
机译:HASCASL序幕:部分λ演算的分类语法和语义